efe807a788c117cc4317e62e297853f27ff4b822,plugins/migration/source/jetbrains/mps/migration20/MigrationHelper.java,MigrationHelper,migrate,#,33

Before Change



        String mb = stage.messageBefore();
        if (mb != null) {
          Messages.showMessageDialog(mb, stage.title(), Messages.getInformationIcon());
        }

        Runnable stageRunnable = new Runnable() {

After Change



        String mb = stage.messageBefore();
        if (mb != null) {
          int res = Messages.showDialog(mb, stage.title(), new String[]{"Proceed", "Stop"}, 0, Messages.getInformationIcon());
          if (res!=0){
            Messages.showMessageDialog("You can continue migration later by executing MainMenu->Tools->Continue Migration to MPS 2.0","Migration stopped",Messages.getInformationIcon());
            return;
          }
        }

        Runnable stageRunnable = new Runnable() {